(declare-fun _substvar_29_ () Bool)
(declare-const r0 Real)
(declare-const r2 Real)
(declare-const r3 Real)
(declare-const r7 Real)
(declare-const v29 Bool)
(push)
(assert _substvar_29_)
(assert (or v29 (<= (/ (/ (* r0 (/ 5748.0 (+ r2 r0 r2 r0 r0)) (+ r2 r0 r2 r0 r0)) (/ 5748.0 (+ r2 r0 r2 r0 r0))) r3) 0.0 r7)))
(check-sat)
